On Getting Results from an HPD System

Getting results from programs extracted from classical proofs

We present a new method to extract from a classical proof of ∀x(I[x] → ∃y(O[y]∧S[x, y])) a program computing y from x. This method applies when O is a data type and S is a decidable predicate. Algorithms extracted this way are often far better than a stupid enumeration of all the possible outputs and this is verified on a non trivial example: a proof of Dickson’s lemma.

Women abroad: getting the best results from women managers

This study explores the work environment of expatriate women managers in American corporations and investigates the determinants of their job satisfaction. The strategic importance of global assignments has increased over the years. The real cost of unsuccessful expatriates extends beyond the monetary expenses. As the number of women managers working overseas increases, so does the importance o...

Getting to know bioinformaticians: Results of an exploratory user study

Very few user analysis studies have been done in the bioinformatics domain. This paper presents the results of an exploratory user study as part of a domain and requirements analysis aimed at enhancing multidisciplinary collaboration. Contextual field observations, questionnaires and interviews with bioinformatics researchers of different levels of expertise and various backgrounds were perform...

Getting High on the Endocannabinoid System

The endogenous cannabinoid system-named for the plant that led to its discovery-is one of the most important physiologic systems involved in establishing and maintaining human health. Endocannabinoids and their receptors are found throughout the body: in the brain, organs, connective tissues, glands, and immune cells. With its complex actions in our immune system, nervous system, and virtually ...

Getting Better Results With LatentSemanti